6. (Optional) Prove the above for an iterative version of size.